Runtime Verification of Component-Based Systems

Runtime verification of programs using rule-based active system

Runtime Monitoring of Distributed Systems

Distributed and component-based architectures are becoming more prevalent computer systems. The increased complexities introduced by the distribution hampers dependability, emphasising the need for verification techniques tailored for a distributed setting. Runtime verification has proven to be a viable approach for verifying correctness, by focussing on the adherence of the runtime-generated t...

RVMT-BIP: A Tool for the Runtime Verification of Multi-Threaded Component-Based Systems

RVMT-BIP is a tool for the runtime verification of multi-threaded componentbased systems described in the Behavior, Interaction, Priority (BIP) framework against linear-time and logic-independent properties. RVMT-BIP implements rigorous semantics-preserving transformations of BIP systems to instrument and inject a sound and concurrency-preserving global-state reconstructor for on-the-fly monito...

Spying on Components: A Runtime Verification Technique

A natural way to specify component-based systems is by an interface specification. Such a specification allows clients of a component to know not only its syntactic properties, as is current practice, but also its semantic properties. Any component implementation must be a behavioral refinement of its interface specification. We propose the use of executable specifications and a runtime monitor...

Components, Contracts and Vocabularies - Making Dynamic Component Assemblies more Predictable

In recent years, dynamic component-based systems such as OSGi and its derivatives have become very successful. This has created new challenges for verification. Assemblies are created and modified dynamically at runtime, but many existing techniques such as unit testing are designed for buildtime verification. Runtime verification is usually restricted to type checks. We propose a simple compon...